INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
نویسندگان
چکیده
منابع مشابه
The Semantics of Gringo and Infinitary Propositional Formulas
Input languages of answer set solvers are based on the mathematically simple concept of a stable model. But many useful constructs available in these languages, including local variables, conditional literals, and aggregates, cannot be easily explained in terms of stable models in the sense of the original definition of this concept and its straightforward generalizations. Manuals written by de...
متن کاملPropositional Logic Extended with a Pedagogically Useful Relevant
First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for relating formal logic to natural language sentences. A specific system will be presented and studied, also from a semantic point of view. The last se...
متن کاملInfinitary Axiomatization of the Equational Theory of Context-Free Languages
Algebraic reasoning about programming language constructs has been a popular research topic for many years. At the propositional level, the theory of flowchart programs and linear recursion are well handled by such systems as Kleene algebra and iteration theories, systems that characterize the equational theory of the regular sets. To handle more general forms of recursion including procedures ...
متن کاملToward a Structure Theory of Regular Infinitary Trace Languages
The family of regular languages of infinite words is structured into a hierarchy where each level is characterized by a class of deterministic ω-automata – the class of deterministic Büchi automata being the most prominent among them. In this paper, we analyze the situation of regular languages of infinite Mazurkiewicz traces that model non-terminating, concurrent behaviors of distributed syste...
متن کاملComplementary Logics for Classical Propositional Languages
This note presents a simple axiomatic system by means of which exactly those sentences can be derived that are rated non-tautologous in classical propositional logic. Since the logic is decidable, there exist of course many algorithms that do the job, e.g. using semantic tableaux or refutation trees. However, a formulation in terms of axioms and rules of inference is by no means a straightforwa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2017
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020317000132